Looking up the timeserver's official host name …

Looking up the timeserver's IP address …